Assert $\forall$$n$:$\mathbb{N}$. nth\_tl($n$;[]) = []